#include "tuple_spawn.hpp"
#include <cstdio>
extern void slave_add(int a, double b, double *c);
int main(){
  athread_init();
  double c;
  athread_spawn_tupled(slave_add, 1, 2.0, &c);
  athread_join();
  printf("%f\n", c);
}
